Dependent type - PDFSEARCH.IO - Document Search Engine

Dependent type
Results: 326

#	Item
101	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-23 07:37:37 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra
102	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
103	Dedukti in a Nutshell Ronan Saillard MINES ParisTech Dedukti [1] is a proof checker based on rewriting and dependent types. It implements the λΠcalculus modulo, a very expressive logical fr Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 09:55:25 Type theory Functional languages Functional programming Lisp programming language Data types Append List Cons Dependent type Software engineering Computing Declarative programming
104	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: feever.fr Language: English - Date: 2015-04-28 05:48:33 Type theory Functional languages Mathematical logic FAUST Eval Mathematical proof Nyquist–Shannon sampling theorem Coq Dependent type Mathematics Computing Theoretical computer science
105	AcaStat Output - Tuesday, March 24, 2015 FILE DATA DICTIONARY (As of Tuesday, March 24, 2015) ________________________________________________________________________________ File Name: Add to Reading List Source URL: www.acastat.com Language: English - Date: 2015-03-24 15:41:58 Type theory Dependent and independent variables Mathematics Variables Regression analysis
106	Language-Based Verification Will Change The World Tim Sheard Aaron Stump Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:06 Type theory Logic in computer science Functional languages Data types Formal methods Formal verification Dependent type Isabelle Agda Software engineering Programming language theory Computing
107	MiniAgda: Integrating Sized and Dependent Types Andreas Abel∗ Department of Computer Science Ludwig-Maximilians-University Munich Abstract Sized types are a modular and theoretically well-understood tool for checking t Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2010-05-11 12:12:37 Functional programming Type theory Data types Recursion Category theory System F F-algebra Algebraic data type Fold Software engineering Computer programming Computing
108	Dependent Types: Easy as P IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:26 Type theory Data types Functional languages Formal methods Theoretical computer science Dependent type Lambda calculus Type system Generalized algebraic data type Programming language theory Software engineering Computing
109	ΠΣ: Dependent Types without the Sugar Thorsten Altenkirch1 , Nils Anders Danielsson1 , Andres L¨oh2 , and Nicolas Oury3 1 2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-02-16 10:41:43 Type theory Functional languages Data types Programming idioms Lambda calculus Epigram Agda Recursive data type Dependent type Software engineering Computer programming Computing
110	Bring-It-Back TDQ Lesson 3, 4–5 Below is a single segment of a lesson focused on a single question type in the 4 Phases of Text Dependent Questioning. Why? Because the first time you teach segment one, for example, tha Add to Reading List Source URL: www.corwin.com Language: English - Date: 2015-03-12 15:47:17 Data Educational psychology Orthography Reading Critical reading Copyright Education Pedagogy Information

UPDATE